Knihy od autora Yves Bertot

Zobrazeno 1 – 3 z 3 výsledků

1. 

   Interactive Theorem Proving and Program Development

   Yves Bertot, Pierre Castéran, G. Huet, C. Paulin-Mohring | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2010

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1958 Kč

   Koupit
2. 

   Interactive Theorem Proving and Program Development

   Yves Bertot, P. Casteran, G. Huet, C. Paulin-Mohring | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2004

   
   

   Skladem u dodavatele - Odesíláme za 10-13 dnů

   Jazyk: Angličtina

   Vazba: Pevná

   2762 Kč

   Koupit
3. 

   Theorem Proving in Higher Order Logics

   Yves Bertot, Gilles Dowek, Andre Hirschowitz, Christine Paulin, Laurent Thery | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1999

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1182 Kč

   Koupit

Zboží zasíláme ihned nebo nejrychleji jak je to možné. Zjistěte více